theory Gencode imports Executable Efficient_Nat 
begin

code_modulename OCaml 
  "../Clang" ClangExec
  Executable ClangExec

export_code wf_prog map_of vals_tp 
  in OCaml file "gencode.ml"

end
